翻訳と辞書 Words near each other ・ Monotone class theorem ・ Monotone comparative statics ・ Monotone convergence theorem ・ Monotone cubic interpolation ・ Monotone likelihood ratio ・ Monotone polygon ・ Monotone preferences ・ Monotone priority queue ・ Monotones (ballet) ・ Monotonia (album) ・ Monotonic function ・ Monotonic query ・ Monotonic scale ・ Monotonically normal space ・ Monotonicity criterion ・ Monotonicity of entailment ・ Monotonix ・ MONOtono ・ Monotonous (song) ・ Monotonous lark ・ Monotony Fields ・ Monotopion ・ MonoTorrent ・ Monotosh Ghosh ・ Monotosh Roy ・ Monotown ・ Monotrace (automobile) ・ Monotract ・ Monotrema ・ Monotrema (plant) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Monotonicity of entailment ： ウィキペディア英語版 Monotonicity of entailment Monotonicity of entailment is a property of many logical systems that states that the hypotheses of any derived fact may be freely extended with additional assumptions. In sequent calculi this property can be captured by an inference rule called weakening, or sometimes thinning, and in such systems one may say that entailment is monotone if and only if the rule is admissible. Logical systems with this property are occasionally called ''monotonic logics'' in order to differentiate them from non-monotonic logics. ==Weakening rule== To illustrate, starting from the natural deduction sequent: Γ $\backslash vdash$ C weakening allows one to conclude: Γ, A $\backslash vdash$ C 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Monotonicity of entailment」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.